[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 231, 233, 235, 237, 238, 240, 242, 247, 249, 251, 253, 254, 256, 262, 264, 266, 268, 270, 271, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 296, 297, 299 }

B grade: { 41, 42, 294, 295 }

C grade: { 230, 232, 234, 236, 239, 241, 243, 244, 245, 246, 248, 250, 252, 255, 257, 258, 259, 260, 261, 263, 265, 267, 269, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 298 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 11, 39, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 229, 231, 233, 236, 238, 240, 242, 247, 249, 250, 251, 252, 254, 256, 262, 264, 267, 269, 271 }

B grade: { 9, 10, 12, 13, 14, 15, 16, 40, 41, 42, 228, 230, 232, 234, 239, 241, 243, 245, 246, 248, 255, 257, 259, 261, 263, 265, 272, 274, 276, 278, 287 }

C grade: { 17, 18, 19, 20, 21, 22, 23, 24, 55, 56, 57, 58, 59, 60, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 235, 237, 244, 253, 258, 260, 266, 268, 270, 273, 275, 277, 279 }

F grade: { 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 68, 69, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 280, 281, 282, 283, 284, 285, 286, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 39, 40, 41, 42, 43, 44, 45, 46, 50, 51, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 135, 137, 138, 139, 140, 141, 145, 147, 148, 149, 150, 151, 155, 157, 158, 159, 160, 164, 165, 166, 167, 171, 172, 173, 174, 175, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 228, 229, 287, 288, 289

B grade: { 47, 48, 49, 132, 133, 134, 136, 142, 143, 144, 146, 152, 153, 154, 156, 161, 162, 163, 168, 169, 170, 176, 177, 178 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 55, 56, 57, 58, 59, 60, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.5 FriCAS

A grade: { 2, 4, 5, 6, 7, 8, 39, 40, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 61, 62, 63, 64, 65, 66, 67, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 223, 224, 225, 226, 227, 228, 229, 231, 233, 238, 240, 242, 247, 249, 254, 256, 262, 287, 288, 289 }

B grade: { 1, 3, 41, 42, 251, 264, 271 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 55, 56, 57, 58, 59, 60, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 230, 232, 234, 235, 236, 237, 239, 241, 243, 244, 245, 246, 248, 250, 252, 253, 255, 257, 258, 259, 260, 261, 263, 265, 266, 267, 268, 269, 270, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.6 Sympy

A grade: { 1, 43, 44, 45, 51, 52, 53, 137, 138, 147, 164, 165, 166, 171, 172, 173 }

B grade: { }

C grade: { }

F grade: { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 46, 47, 48, 49, 50, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 139, 140, 141, 142, 143, 144, 145, 146, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 167, 168, 169, 170, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.1.7 Giac

A grade: { 2, 3, 4, 5, 6, 7, 8, 39, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 54, 61, 62, 63, 64, 65, 225, 226, 228, 229 }

B grade: { 1, 40, 41, 42, 52, 223, 224, 227 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 55, 56, 57, 58, 59, 60, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 19 24 76 36 59
normalized size 1 1. 1. 1.73 2.18 6.91 3.27 5.36
time (sec) N/A 0.004 0.002 0.003 1.104 1.526 5.915 1.312
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 14 42 0 14
normalized size 1 1. 1. 1.1 1.4 4.2 0. 1.4
time (sec) N/A 0.009 0.004 0.056 1.266 1.403 0. 1.25
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 38 62 162 0 65
normalized size 1 1. 1. 1.12 1.82 4.76 0. 1.91
time (sec) N/A 0.014 0.01 0.133 1.001 1.412 0. 1.353
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 23 24 30 81 0 30
normalized size 1 1. 0.88 0.92 1.15 3.12 0. 1.15
time (sec) N/A 0.011 0.041 0.043 1.166 1.346 0. 1.324
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 42 57 96 200 0 85
normalized size 1 1. 0.76 1.04 1.75 3.64 0. 1.55
time (sec) N/A 0.025 0.071 0.044 1.03 1.423 0. 1.32
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 35 34 46 108 0 46
normalized size 1 1. 0.85 0.83 1.12 2.63 0. 1.12
time (sec) N/A 0.015 0.101 0.043 1.201 1.362 0. 1.137
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 52 76 123 231 0 99
normalized size 1 1. 0.68 1. 1.62 3.04 0. 1.3
time (sec) N/A 0.039 0.166 0.046 1.07 1.476 0. 1.276
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 43 44 59 135 0 59
normalized size 1 1. 0.81 0.83 1.11 2.55 0. 1.11
time (sec) N/A 0.017 0.219 0.043 1.075 1.393 0. 1.274
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 59 358 0 0 0 0
normalized size 1 1. 0.69 4.21 0. 0. 0. 0.
time (sec) N/A 0.037 0.175 2.199 0. 0. 0. 0.
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 46 213 0 0 0 0
normalized size 1 1. 0.74 3.44 0. 0. 0. 0.
time (sec) N/A 0.027 0.067 1.266 0. 0. 0. 0.
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 45 101 0 0 0 0
normalized size 1 1. 0.78 1.74 0. 0. 0. 0.
time (sec) N/A 0.026 0.048 1.062 0. 0. 0. 0.
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 133 0 0 0 0
normalized size 1 1. 1. 3.69 0. 0. 0. 0.
time (sec) N/A 0.017 0.029 0.883 0. 0. 0. 0.
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 133 0 0 0 0
normalized size 1 1. 1. 3.69 0. 0. 0. 0.
time (sec) N/A 0.017 0.034 0.936 0. 0. 0. 0.
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 49 179 0 0 0 0
normalized size 1 1. 0.79 2.89 0. 0. 0. 0.
time (sec) N/A 0.028 0.044 1.485 0. 0. 0. 0.
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 55 202 0 0 0 0
normalized size 1 1. 0.89 3.26 0. 0. 0. 0.
time (sec) N/A 0.029 0.069 1.212 0. 0. 0. 0.
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 61 199 0 0 0 0
normalized size 1 1. 0.72 2.34 0. 0. 0. 0.
time (sec) N/A 0.04 0.099 1.247 0. 0. 0. 0.
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 62 354 0 0 0 0
normalized size 1 1. 0.63 3.61 0. 0. 0. 0.
time (sec) N/A 0.056 0.166 0.32 0. 0. 0. 0.
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 51 128 0 0 0 0
normalized size 1 1. 0.73 1.83 0. 0. 0. 0.
time (sec) N/A 0.034 0.066 0.198 0. 0. 0. 0.
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 48 322 0 0 0 0
normalized size 1 1. 0.73 4.88 0. 0. 0. 0.
time (sec) N/A 0.04 0.039 0.225 0. 0. 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 98 0 0 0 0
normalized size 1 1. 1. 2.58 0. 0. 0. 0.
time (sec) N/A 0.019 0.02 0.153 0. 0. 0. 0.
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 306 0 0 0 0
normalized size 1 1. 1. 8.05 0. 0. 0. 0.
time (sec) N/A 0.027 0.029 0.164 0. 0. 0. 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 59 131 0 0 0 0
normalized size 1 1. 0.82 1.82 0. 0. 0. 0.
time (sec) N/A 0.046 0.058 0.155 0. 0. 0. 0.
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 60 323 0 0 0 0
normalized size 1 1. 0.83 4.49 0. 0. 0. 0.
time (sec) N/A 0.038 0.068 0.2 0. 0. 0. 0.
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 66 153 0 0 0 0
normalized size 1 1. 0.66 1.53 0. 0. 0. 0.
time (sec) N/A 0.059 0.096 0.19 0. 0. 0. 0.
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 55 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.051 0.068 0. 0. 0. 0.
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 55 0 0 0 0 0
normalized size 1 1. 1.08 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.036 0.094 0. 0. 0. 0.
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.034 0.1 0. 0. 0. 0.
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 53 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.082 0.093 0. 0. 0. 0.
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 55 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.083 0.093 0. 0. 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 55 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.066 0.055 0. 0. 0. 0.
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 54 54 57 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.049 0.059 0. 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 54 54 57 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.041 0.084 0. 0. 0. 0.
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.04 0.105 0. 0. 0. 0.
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.052 0.094 0. 0. 0. 0.
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.053 0.097 0. 0. 0. 0.
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.069 0.054 0. 0. 0. 0.
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 61 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.05 0.291 0. 0. 0. 0.
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 73 73 61 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.047 0.265 0. 0. 0. 0.
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 74 72 57 162 0 80
normalized size 1 1. 1.48 1.44 1.14 3.24 0. 1.6
time (sec) N/A 0.017 0.29 0.159 1.741 1.367 0. 1.286
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 68 64 41 139 0 72
normalized size 1 1. 1.89 1.78 1.14 3.86 0. 2.
time (sec) N/A 0.012 0.14 0.091 1.648 1.409 0. 1.278
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 52 53 24 109 0 59
normalized size 1 1. 2.36 2.41 1.09 4.95 0. 2.68
time (sec) N/A 0.009 0.057 0.065 1.719 1.331 0. 1.367
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 44 21 4 61 0 47
normalized size 1 1. 14.67 7. 1.33 20.33 0. 15.67
time (sec) N/A 0.006 0.009 0.071 1.732 1.421 0. 1.339
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 14 15 12 10 8
normalized size 1 1. 1. 1.27 1.36 1.09 0.91 0.73
time (sec) N/A 0.007 0.006 0.074 1.18 1.24 0.483 1.272
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 23 21 34 38 27 22
normalized size 1 1. 0.79 0.72 1.17 1.31 0.93 0.76
time (sec) N/A 0.011 0.015 0.059 1.089 1.312 1.506 1.35
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 31 29 50 59 44 34
normalized size 1 1. 0.72 0.67 1.16 1.37 1.02 0.79
time (sec) N/A 0.015 0.025 0.072 1.165 1.444 17.704 1.257
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 37 35 66 78 0 46
normalized size 1 1. 0.65 0.61 1.16 1.37 0. 0.81
time (sec) N/A 0.019 0.038 0.088 1.069 1.421 0. 1.405
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 78 74 2936 186 0 107
normalized size 1 1. 0.93 0.88 34.95 2.21 0. 1.27
time (sec) N/A 0.041 0.124 0.145 16.739 1.478 0. 1.301
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 72 66 1500 159 0 90
normalized size 1 1. 1.11 1.02 23.08 2.45 0. 1.38
time (sec) N/A 0.031 0.121 0.087 2.673 1.57 0. 1.409
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 55 55 437 119 0 57
normalized size 1 1. 1.2 1.2 9.5 2.59 0. 1.24
time (sec) N/A 0.022 0.051 0.061 1.946 1.471 0. 1.306
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 46 23 51 171 0 42
normalized size 1 1. 1.84 0.92 2.04 6.84 0. 1.68
time (sec) N/A 0.015 0.008 0.056 1.936 1.464 0. 1.343
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 16 8 46 15 15
normalized size 1 1. 1. 1.23 0.62 3.54 1.15 1.15
time (sec) N/A 0.029 0.005 0.069 1.881 1.445 0.538 1.229
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 27 23 19 74 37 78
normalized size 1 1. 0.75 0.64 0.53 2.06 1.03 2.17
time (sec) N/A 0.018 0.018 0.057 1.945 1.432 1.487 1.379
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 36 31 30 96 60 113
normalized size 1 1. 0.65 0.56 0.55 1.75 1.09 2.05
time (sec) N/A 0.027 0.028 0.064 1.834 1.445 17.485 1.441
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 42 37 38 115 0 149
normalized size 1 1. 0.57 0.5 0.51 1.55 0. 2.01
time (sec) N/A 0.035 0.035 0.081 1.784 1.451 0. 1.608
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 59 223 0 0 0 0
normalized size 1 1. 0.5 1.91 0. 0. 0. 0.
time (sec) N/A 0.052 0.093 0.368 0. 0. 0. 0.
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 43 87 0 0 0 0
normalized size 1 1. 0.66 1.34 0. 0. 0. 0.
time (sec) N/A 0.035 0.035 0.182 0. 0. 0. 0.
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 32 191 0 0 0 0
normalized size 1 1. 0.76 4.55 0. 0. 0. 0.
time (sec) N/A 0.026 0.017 0.205 0. 0. 0. 0.
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 31 76 0 0 0 0
normalized size 1 1. 0.7 1.73 0. 0. 0. 0.
time (sec) N/A 0.027 0.04 0.14 0. 0. 0. 0.
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 43 198 0 0 0 0
normalized size 1 1. 0.59 2.71 0. 0. 0. 0.
time (sec) N/A 0.037 0.094 0.156 0. 0. 0. 0.
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 59 114 0 0 0 0
normalized size 1 1. 0.5 0.97 0. 0. 0. 0.
time (sec) N/A 0.056 0.097 0.206 0. 0. 0. 0.
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 54 53 82 228 0 90
normalized size 1 1. 0.33 0.33 0.5 1.4 0. 0.55
time (sec) N/A 0.039 0.168 0.233 1.643 1.587 0. 1.327
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 42 41 58 165 0 66
normalized size 1 1. 0.36 0.35 0.5 1.41 0. 0.56
time (sec) N/A 0.03 0.091 0.113 1.792 1.407 0. 1.244
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 30 29 34 101 0 30
normalized size 1 1. 0.49 0.48 0.56 1.66 0. 0.49
time (sec) N/A 0.022 0.057 0.067 1.692 1.449 0. 1.305
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 8 43 0 8
normalized size 1 1. 1. 0.93 0.53 2.87 0. 0.53
time (sec) N/A 0.016 0.005 0.063 1.739 1.364 0. 1.258
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 23 22 34 74 0 53
normalized size 1 1. 0.64 0.61 0.94 2.06 0. 1.47
time (sec) N/A 0.015 0.023 0.074 1.664 1.42 0. 1.311
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 38 41 78 126 0 0
normalized size 1 1. 0.44 0.48 0.91 1.47 0. 0.
time (sec) N/A 0.032 0.039 0.104 1.646 1.461 0. 0.
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 55 57 119 177 0 0
normalized size 1 1. 0.42 0.43 0.9 1.34 0. 0.
time (sec) N/A 0.051 0.082 0.221 1.711 1.452 0. 0.
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 81 81 69 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.094 0.444 0. 0. 0. 0.
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 83 83 71 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.05 0.073 0.197 0. 0. 0. 0.
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 69 152 0 0 0 0
normalized size 1 1. 0.71 1.57 0. 0. 0. 0.
time (sec) N/A 0.06 0.212 0.224 0. 0. 0. 0.
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 69 356 0 0 0 0
normalized size 1 1. 0.73 3.75 0. 0. 0. 0.
time (sec) N/A 0.061 0.165 0.208 0. 0. 0. 0.
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 51 130 0 0 0 0
normalized size 1 1. 0.74 1.88 0. 0. 0. 0.
time (sec) N/A 0.042 0.084 0.155 0. 0. 0. 0.
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 47 316 0 0 0 0
normalized size 1 1. 0.75 5.02 0. 0. 0. 0.
time (sec) N/A 0.041 0.051 0.214 0. 0. 0. 0.
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 98 0 0 0 0
normalized size 1 1. 1. 2.58 0. 0. 0. 0.
time (sec) N/A 0.02 0.02 0.141 0. 0. 0. 0.
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 303 0 0 0 0
normalized size 1 1. 1. 7.77 0. 0. 0. 0.
time (sec) N/A 0.03 0.035 0.149 0. 0. 0. 0.
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 51 123 0 0 0 0
normalized size 1 1. 0.76 1.84 0. 0. 0. 0.
time (sec) N/A 0.052 0.051 0.164 0. 0. 0. 0.
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 57 315 0 0 0 0
normalized size 1 1. 0.81 4.5 0. 0. 0. 0.
time (sec) N/A 0.051 0.059 0.208 0. 0. 0. 0.
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 63 145 0 0 0 0
normalized size 1 1. 0.66 1.53 0. 0. 0. 0.
time (sec) N/A 0.07 0.09 0.188 0. 0. 0. 0.
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 71 325 0 0 0 0
normalized size 1 1. 0.72 3.32 0. 0. 0. 0.
time (sec) N/A 0.069 0.244 0.181 0. 0. 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 64 152 0 0 0 0
normalized size 1 1. 0.67 1.6 0. 0. 0. 0.
time (sec) N/A 0.059 0.183 0.195 0. 0. 0. 0.
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 64 356 0 0 0 0
normalized size 1 1. 0.65 3.63 0. 0. 0. 0.
time (sec) N/A 0.059 0.175 0.19 0. 0. 0. 0.
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 49 122 0 0 0 0
normalized size 1 1. 0.73 1.82 0. 0. 0. 0.
time (sec) N/A 0.041 0.072 0.146 0. 0. 0. 0.
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 48 320 0 0 0 0
normalized size 1 1. 0.73 4.85 0. 0. 0. 0.
time (sec) N/A 0.034 0.037 0.199 0. 0. 0. 0.
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 98 0 0 0 0
normalized size 1 1. 1. 2.51 0. 0. 0. 0.
time (sec) N/A 0.03 0.019 0.136 0. 0. 0. 0.
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 309 0 0 0 0
normalized size 1 1. 1. 7.54 0. 0. 0. 0.
time (sec) N/A 0.038 0.024 0.147 0. 0. 0. 0.
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 52 129 0 0 0 0
normalized size 1 1. 0.74 1.84 0. 0. 0. 0.
time (sec) N/A 0.054 0.049 0.16 0. 0. 0. 0.
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 58 321 0 0 0 0
normalized size 1 1. 0.81 4.46 0. 0. 0. 0.
time (sec) N/A 0.054 0.049 0.196 0. 0. 0. 0.
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 64 151 0 0 0 0
normalized size 1 1. 0.65 1.54 0. 0. 0. 0.
time (sec) N/A 0.073 0.078 0.184 0. 0. 0. 0.
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 72 331 0 0 0 0
normalized size 1 1. 0.72 3.31 0. 0. 0. 0.
time (sec) N/A 0.075 0.16 0.182 0. 0. 0. 0.
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 61 152 0 0 0 0
normalized size 1 1. 0.62 1.55 0. 0. 0. 0.
time (sec) N/A 0.059 0.18 0.191 0. 0. 0. 0.
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 61 348 0 0 0 0
normalized size 1 1. 0.63 3.59 0. 0. 0. 0.
time (sec) N/A 0.057 0.164 0.204 0. 0. 0. 0.
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 51 128 0 0 0 0
normalized size 1 1. 0.73 1.83 0. 0. 0. 0.
time (sec) N/A 0.032 0.017 0.159 0. 0. 0. 0.
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 50 324 0 0 0 0
normalized size 1 1. 0.74 4.76 0. 0. 0. 0.
time (sec) N/A 0.045 0.031 0.218 0. 0. 0. 0.
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0
normalized size 1 1. 1. 2.39 0. 0. 0. 0.
time (sec) N/A 0.038 0.016 0.153 0. 0. 0. 0.
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 38 311 0 0 0 0
normalized size 1 1. 0.93 7.59 0. 0. 0. 0.
time (sec) N/A 0.037 0.043 0.158 0. 0. 0. 0.
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 54 131 0 0 0 0
normalized size 1 1. 0.75 1.82 0. 0. 0. 0.
time (sec) N/A 0.055 0.049 0.167 0. 0. 0. 0.
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 60 321 0 0 0 0
normalized size 1 1. 0.83 4.46 0. 0. 0. 0.
time (sec) N/A 0.054 0.051 0.201 0. 0. 0. 0.
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 66 153 0 0 0 0
normalized size 1 1. 0.66 1.53 0. 0. 0. 0.
time (sec) N/A 0.071 0.073 0.188 0. 0. 0. 0.
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 74 333 0 0 0 0
normalized size 1 1. 0.74 3.33 0. 0. 0. 0.
time (sec) N/A 0.074 0.166 0.186 0. 0. 0. 0.
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 62 354 0 0 0 0
normalized size 1 1. 0.63 3.61 0. 0. 0. 0.
time (sec) N/A 0.048 0.085 0.222 0. 0. 0. 0.
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 69 152 0 0 0 0
normalized size 1 1. 0.69 1.52 0. 0. 0. 0.
time (sec) N/A 0.057 0.083 0.23 0. 0. 0. 0.
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 61 356 0 0 0 0
normalized size 1 1. 0.63 3.67 0. 0. 0. 0.
time (sec) N/A 0.059 0.226 0.236 0. 0. 0. 0.
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 130 0 0 0 0
normalized size 1 1. 0.71 1.81 0. 0. 0. 0.
time (sec) N/A 0.039 0.074 0.181 0. 0. 0. 0.
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 48 319 0 0 0 0
normalized size 1 1. 0.74 4.91 0. 0. 0. 0.
time (sec) N/A 0.04 0.078 0.218 0. 0. 0. 0.
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0
normalized size 1 1. 1. 2.39 0. 0. 0. 0.
time (sec) N/A 0.021 0.016 0.158 0. 0. 0. 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 38 306 0 0 0 0
normalized size 1 1. 1. 8.05 0. 0. 0. 0.
time (sec) N/A 0.019 0.015 0.157 0. 0. 0. 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 60 126 0 0 0 0
normalized size 1 1. 0.87 1.83 0. 0. 0. 0.
time (sec) N/A 0.043 0.068 0.16 0. 0. 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 60 316 0 0 0 0
normalized size 1 1. 0.9 4.72 0. 0. 0. 0.
time (sec) N/A 0.051 0.082 0.215 0. 0. 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 66 148 0 0 0 0
normalized size 1 1. 0.68 1.53 0. 0. 0. 0.
time (sec) N/A 0.069 0.075 0.204 0. 0. 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 70 328 0 0 0 0
normalized size 1 1. 0.74 3.45 0. 0. 0. 0.
time (sec) N/A 0.069 0.189 0.202 0. 0. 0. 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 69 152 0 0 0 0
normalized size 1 1. 0.69 1.52 0. 0. 0. 0.
time (sec) N/A 0.059 0.166 0.219 0. 0. 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 64 356 0 0 0 0
normalized size 1 1. 0.64 3.56 0. 0. 0. 0.
time (sec) N/A 0.058 0.053 0.223 0. 0. 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 56 125 0 0 0 0
normalized size 1 1. 0.78 1.74 0. 0. 0. 0.
time (sec) N/A 0.038 0.097 0.17 0. 0. 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 51 322 0 0 0 0
normalized size 1 1. 0.75 4.74 0. 0. 0. 0.
time (sec) N/A 0.04 0.057 0.224 0. 0. 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0
normalized size 1 1. 1. 2.39 0. 0. 0. 0.
time (sec) N/A 0.023 0.022 0.135 0. 0. 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 311 0 0 0 0
normalized size 1 1. 1. 7.59 0. 0. 0. 0.
time (sec) N/A 0.022 0.031 0.144 0. 0. 0. 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 59 131 0 0 0 0
normalized size 1 1. 0.82 1.82 0. 0. 0. 0.
time (sec) N/A 0.033 0.049 0.155 0. 0. 0. 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 60 321 0 0 0 0
normalized size 1 1. 0.87 4.65 0. 0. 0. 0.
time (sec) N/A 0.045 0.032 0.197 0. 0. 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 66 153 0 0 0 0
normalized size 1 1. 0.67 1.56 0. 0. 0. 0.
time (sec) N/A 0.072 0.091 0.184 0. 0. 0. 0.
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 73 333 0 0 0 0
normalized size 1 1. 0.75 3.43 0. 0. 0. 0.
time (sec) N/A 0.071 0.077 0.19 0. 0. 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 64 152 0 0 0 0
normalized size 1 1. 0.64 1.52 0. 0. 0. 0.
time (sec) N/A 0.057 0.132 0.217 0. 0. 0. 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 64 351 0 0 0 0
normalized size 1 1. 0.64 3.51 0. 0. 0. 0.
time (sec) N/A 0.058 0.113 0.222 0. 0. 0. 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 130 0 0 0 0
normalized size 1 1. 0.71 1.81 0. 0. 0. 0.
time (sec) N/A 0.038 0.066 0.174 0. 0. 0. 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 51 322 0 0 0 0
normalized size 1 1. 0.75 4.74 0. 0. 0. 0.
time (sec) N/A 0.038 0.053 0.234 0. 0. 0. 0.
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 98 0 0 0 0
normalized size 1 1. 1. 2.39 0. 0. 0. 0.
time (sec) N/A 0.022 0.016 0.14 0. 0. 0. 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 38 311 0 0 0 0
normalized size 1 1. 0.93 7.59 0. 0. 0. 0.
time (sec) N/A 0.023 0.036 0.143 0. 0. 0. 0.
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 62 131 0 0 0 0
normalized size 1 1. 0.86 1.82 0. 0. 0. 0.
time (sec) N/A 0.04 0.031 0.147 0. 0. 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 60 321 0 0 0 0
normalized size 1 1. 0.83 4.46 0. 0. 0. 0.
time (sec) N/A 0.034 0.018 0.199 0. 0. 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 66 153 0 0 0 0
normalized size 1 1. 0.68 1.58 0. 0. 0. 0.
time (sec) N/A 0.063 0.069 0.178 0. 0. 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 73 333 0 0 0 0
normalized size 1 1. 0.74 3.4 0. 0. 0. 0.
time (sec) N/A 0.072 0.121 0.183 0. 0. 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 66 153 0 0 0 0
normalized size 1 1. 0.66 1.53 0. 0. 0. 0.
time (sec) N/A 0.051 0.02 0.187 0. 0. 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 64 131 2236 608 0 0
normalized size 1 1. 0.6 1.22 20.9 5.68 0. 0.
time (sec) N/A 0.033 0.141 0.178 2.489 1.608 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 52 397 115 0 0
normalized size 1 1. 0.64 0.74 5.67 1.64 0. 0.
time (sec) N/A 0.017 0.087 0.129 2.08 1.412 0. 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 50 112 892 528 0 0
normalized size 1 1. 0.69 1.56 12.39 7.33 0. 0.
time (sec) N/A 0.019 0.052 0.135 2.113 1.548 0. 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 39 73 78 0 0
normalized size 1 1. 1. 1.22 2.28 2.44 0. 0.
time (sec) N/A 0.012 0.018 0.13 2.147 1.367 0. 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 52 88 290 0 0
normalized size 1 1. 1. 1.58 2.67 8.79 0. 0.
time (sec) N/A 0.007 0.011 0.116 2.064 1.496 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 32 35 266 5 0
normalized size 1 1. 1. 1.33 1.46 11.08 0.21 0.
time (sec) N/A 0.002 0.014 0.108 1.786 1.638 1.55 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 41 18 76 36 0
normalized size 1 1. 1. 1.28 0.56 2.38 1.12 0.
time (sec) N/A 0.007 0.036 0.127 2.057 1.402 20.9 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 45 54 34 428 0 0
normalized size 1 1. 0.71 0.86 0.54 6.79 0. 0.
time (sec) N/A 0.014 0.064 0.14 2.019 1.649 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 52 57 130 0 0
normalized size 1 1. 0.64 0.74 0.81 1.86 0. 0.
time (sec) N/A 0.016 0.109 0.135 2.072 1.383 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 55 74 66 537 0 0
normalized size 1 1. 0.56 0.76 0.67 5.48 0. 0.
time (sec) N/A 0.025 0.116 0.157 2.132 1.79 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 64 131 2352 621 0 0
normalized size 1 1. 0.58 1.19 21.38 5.65 0. 0.
time (sec) N/A 0.035 0.111 0.139 2.631 1.585 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 45 52 404 117 0 0
normalized size 1 1. 0.62 0.72 5.61 1.62 0. 0.
time (sec) N/A 0.017 0.088 0.118 2.103 1.354 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 50 112 933 536 0 0
normalized size 1 1. 0.68 1.51 12.61 7.24 0. 0.
time (sec) N/A 0.021 0.058 0.117 2.191 1.648 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 39 73 81 0 0
normalized size 1 1. 0.97 1.18 2.21 2.45 0. 0.
time (sec) N/A 0.011 0.02 0.113 2.036 1.416 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 33 52 92 293 0 0
normalized size 1 1. 0.97 1.53 2.71 8.62 0. 0.
time (sec) N/A 0.007 0.021 0.117 2.061 1.783 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 24 32 35 269 5 0
normalized size 1 1. 0.96 1.28 1.4 10.76 0.2 0.
time (sec) N/A 0.003 0.025 0.089 1.787 1.857 38.559 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 32 41 18 78 0 0
normalized size 1 1. 0.97 1.24 0.55 2.36 0. 0.
time (sec) N/A 0.007 0.044 0.114 2.002 1.578 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 54 38 436 0 0
normalized size 1 1. 0.69 0.83 0.58 6.71 0. 0.
time (sec) N/A 0.015 0.079 0.124 2.038 1.967 0. 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 45 52 61 135 0 0
normalized size 1 1. 0.62 0.72 0.85 1.88 0. 0.
time (sec) N/A 0.017 0.138 0.109 2.083 1.668 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 55 74 72 551 0 0
normalized size 1 1. 0.54 0.73 0.71 5.46 0. 0.
time (sec) N/A 0.028 0.154 0.123 2.153 2.016 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 57 62 952 158 0 0
normalized size 1 1. 0.49 0.53 8.21 1.36 0. 0.
time (sec) N/A 0.024 0.217 0.119 2.537 1.728 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 52 420 123 0 0
normalized size 1 1. 0.59 0.68 5.53 1.62 0. 0.
time (sec) N/A 0.017 0.079 0.106 1.978 1.693 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 50 112 1008 544 0 0
normalized size 1 1. 0.64 1.44 12.92 6.97 0. 0.
time (sec) N/A 0.02 0.077 0.132 2.191 1.98 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 39 73 84 0 0
normalized size 1 1. 0.91 1.11 2.09 2.4 0. 0.
time (sec) N/A 0.012 0.031 0.127 2.06 1.636 0. 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 52 97 296 0 0
normalized size 1 1. 0.92 1.44 2.69 8.22 0. 0.
time (sec) N/A 0.008 0.034 0.097 1.916 1.845 0. 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 32 35 271 0 0
normalized size 1 1. 0.89 1.19 1.3 10.04 0. 0.
time (sec) N/A 0.003 0.019 0.091 1.825 1.973 0. 0.
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 41 18 81 0 0
normalized size 1 1. 0.91 1.17 0.51 2.31 0. 0.
time (sec) N/A 0.007 0.065 0.105 1.879 1.662 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 54 43 444 0 0
normalized size 1 1. 0.65 0.78 0.62 6.43 0. 0.
time (sec) N/A 0.015 0.113 0.105 2.128 2.04 0. 0.
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 52 66 140 0 0
normalized size 1 1. 0.59 0.68 0.87 1.84 0. 0.
time (sec) N/A 0.017 0.163 0.114 2. 1.643 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 50 112 892 533 0 0
normalized size 1 1. 0.69 1.56 12.39 7.4 0. 0.
time (sec) N/A 0.019 0.057 0.137 2.025 1.964 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 39 80 81 0 0
normalized size 1 1. 1. 1.22 2.5 2.53 0. 0.
time (sec) N/A 0.011 0.026 0.119 2.039 1.642 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 52 88 298 0 0
normalized size 1 1. 1. 1.58 2.67 9.03 0. 0.
time (sec) N/A 0.007 0.016 0.12 1.982 1.9 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 32 35 274 5 0
normalized size 1 1. 1. 1.33 1.46 11.42 0.21 0.
time (sec) N/A 0.002 0.015 0.092 1.58 1.972 19.077 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 32 41 18 81 36 0
normalized size 1 1. 1. 1.28 0.56 2.53 1.12 0.
time (sec) N/A 0.007 0.036 0.154 2.093 1.748 25.96 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 45 54 34 437 82 0
normalized size 1 1. 0.71 0.86 0.54 6.94 1.3 0.
time (sec) N/A 0.014 0.077 0.135 2.054 2.005 44.261 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 45 52 57 132 0 0
normalized size 1 1. 0.64 0.74 0.81 1.89 0. 0.
time (sec) N/A 0.016 0.094 0.124 2.122 1.685 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 50 112 905 539 0 0
normalized size 1 1. 0.64 1.44 11.6 6.91 0. 0.
time (sec) N/A 0.02 0.057 0.117 2.15 1.955 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 39 90 84 0 0
normalized size 1 1. 0.91 1.11 2.57 2.4 0. 0.
time (sec) N/A 0.012 0.035 0.101 2.174 1.672 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 52 88 301 0 0
normalized size 1 1. 0.92 1.44 2.44 8.36 0. 0.
time (sec) N/A 0.007 0.026 0.092 2.053 1.886 0. 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 32 35 277 5 0
normalized size 1 1. 0.89 1.19 1.3 10.26 0.19 0.
time (sec) N/A 0.003 0.025 0.083 1.643 1.937 133.827 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 41 18 84 36 0
normalized size 1 1. 0.91 1.17 0.51 2.4 1.03 0.
time (sec) N/A 0.008 0.041 0.105 1.93 1.658 19.552 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 54 34 443 82 0
normalized size 1 1. 0.65 0.78 0.49 6.42 1.19 0.
time (sec) N/A 0.014 0.066 0.123 2.044 1.977 49.173 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 52 57 135 0 0
normalized size 1 1. 0.59 0.68 0.75 1.78 0. 0.
time (sec) N/A 0.017 0.085 0.107 2.049 1.718 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 55 74 66 552 0 0
normalized size 1 1. 0.51 0.69 0.62 5.16 0. 0.
time (sec) N/A 0.027 0.121 0.139 1.871 2.154 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 53 112 929 539 0 0
normalized size 1 1. 0.68 1.44 11.91 6.91 0. 0.
time (sec) N/A 0.02 0.051 0.117 2.12 1.957 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 39 90 84 0 0
normalized size 1 1. 0.91 1.11 2.57 2.4 0. 0.
time (sec) N/A 0.012 0.033 0.106 1.856 1.638 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 33 52 88 301 0 0
normalized size 1 1. 0.92 1.44 2.44 8.36 0. 0.
time (sec) N/A 0.008 0.022 0.088 1.949 1.904 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 32 35 277 0 0
normalized size 1 1. 0.89 1.19 1.3 10.26 0. 0.
time (sec) N/A 0.003 0.026 0.077 1.772 1.956 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 35 41 18 84 0 0
normalized size 1 1. 1. 1.17 0.51 2.4 0. 0.
time (sec) N/A 0.007 0.025 0.094 1.942 1.646 0. 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 48 54 34 443 0 0
normalized size 1 1. 0.7 0.78 0.49 6.42 0. 0.
time (sec) N/A 0.015 0.052 0.127 2.174 1.984 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 48 52 57 135 0 0
normalized size 1 1. 0.63 0.68 0.75 1.78 0. 0.
time (sec) N/A 0.017 0.072 0.134 2.161 1.698 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 58 74 66 552 0 0
normalized size 1 1. 0.54 0.69 0.62 5.16 0. 0.
time (sec) N/A 0.028 0.058 0.127 1.976 2.463 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.075 0.067 0. 0. 0. 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 60 0 0 0 0 0
normalized size 1 1. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.047 0.063 0. 0. 0. 0.
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.042 0.131 0. 0. 0. 0.
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.067 0.11 0. 0. 0. 0.
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 59 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.143 0.166 0. 0. 0. 0.
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.08 0.068 0. 0. 0. 0.
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 60 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.049 0.064 0. 0. 0. 0.
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 54 54 57 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.008 0.055 0. 0. 0. 0.
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 56 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.009 0.106 0. 0. 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.046 0.054 0.194 0. 0. 0. 0.
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.06 0.065 0. 0. 0. 0.
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 60 0 0 0 0 0
normalized size 1 1. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.047 0.092 0. 0. 0. 0.
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.054 0.091 0. 0. 0. 0.
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.115 0.068 0. 0. 0. 0.
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.045 0.07 0.142 0. 0. 0. 0.
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 60 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.043 0.087 0. 0. 0. 0.
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 58 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.015 0.085 0. 0. 0. 0.
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.004 0.059 0. 0. 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 58 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.017 0.069 0. 0. 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 58 58 60 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.099 0.138 0. 0. 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 83 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.092 0.102 0. 0. 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.138 0.094 0. 0. 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.041 0.141 0.086 0. 0. 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.141 0.082 0. 0. 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 83 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.041 0.13 0.091 0. 0. 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 83 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.043 0.183 0.082 0. 0. 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 76 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.065 0.594 0. 0. 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 71 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.047 0.328 0. 0. 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 65 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.04 0.396 0. 0. 0. 0.
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 73 73 61 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.042 0.243 0. 0. 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 68 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.094 0.859 0. 0. 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 71 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.095 0.968 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 73 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.108 1.35 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.104 0.12 0. 0. 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.092 0.117 0. 0. 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.101 0.128 0. 0. 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.117 0.128 0. 0. 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.139 0.12 0. 0. 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 81 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.18 0.123 0. 0. 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 31 66 0 45
normalized size 1 1. 1. 0.85 1.55 3.3 0. 2.25
time (sec) N/A 0.035 0.055 0.021 1.127 1.633 0. 1.274
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 31 63 0 45
normalized size 1 1. 1. 0.85 1.55 3.15 0. 2.25
time (sec) N/A 0.036 0.041 0.017 1.145 1.622 0. 1.279
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 17 31 38 0 34
normalized size 1 1. 1. 0.94 1.72 2.11 0. 1.89
time (sec) N/A 0.036 0.033 0.018 1.158 1.663 0. 1.339
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 17 31 54 0 30
normalized size 1 1. 1. 0.94 1.72 3. 0. 1.67
time (sec) N/A 0.033 0.038 0.025 1.058 1.658 0. 1.325
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 17 31 65 0 47
normalized size 1 1. 1. 0.85 1.55 3.25 0. 2.35
time (sec) N/A 0.033 0.053 0.025 1.185 1.709 0. 3.622
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 32 357 49 97 0 66
normalized size 1 1. 0.78 8.71 1.2 2.37 0. 1.61
time (sec) N/A 0.049 0.22 0.199 1.097 1.658 0. 1.189
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 42 36 51 105 0 66
normalized size 1 1. 0.98 0.84 1.19 2.44 0. 1.53
time (sec) N/A 0.049 0.103 0.149 1.205 1.695 0. 1.343
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 122 542 0 0 0 0
normalized size 1 1. 0.95 4.23 0. 0. 0. 0.
time (sec) N/A 0.204 1.487 0.253 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 56 54 0 155 0 0
normalized size 1 1. 0.81 0.78 0. 2.25 0. 0.
time (sec) N/A 0.097 0.116 0.191 0. 1.826 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 109 285 0 0 0 0
normalized size 1 1. 1.17 3.06 0. 0. 0. 0.
time (sec) N/A 0.143 0.858 0.2 0. 0. 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 42 0 85 0 0
normalized size 1 1. 1. 1.35 0. 2.74 0. 0.
time (sec) N/A 0.049 0.063 0.164 0. 1.709 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 68 157 0 0 0 0
normalized size 1 1. 1.28 2.96 0. 0. 0. 0.
time (sec) N/A 0.093 0.671 0.196 0. 0. 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 171 276 0 0 0 0
normalized size 1 1. 0.63 1.02 0. 0. 0. 0.
time (sec) N/A 0.14 1.326 0.148 0. 0. 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 80 188 0 0 0 0
normalized size 1 1. 0.86 2.02 0. 0. 0. 0.
time (sec) N/A 0.147 0.673 0.186 0. 0. 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 222 522 0 0 0 0
normalized size 1 1. 0.69 1.62 0. 0. 0. 0.
time (sec) N/A 0.212 1.789 0.225 0. 0. 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 57 64 0 203 0 0
normalized size 1 1. 0.55 0.62 0. 1.95 0. 0.
time (sec) N/A 0.162 0.298 0.196 0. 2.447 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 114 996 0 0 0 0
normalized size 1 1. 0.69 6. 0. 0. 0. 0.
time (sec) N/A 0.268 1.12 0.207 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 54 0 135 0 0
normalized size 1 1. 0.65 0.78 0. 1.96 0. 0.
time (sec) N/A 0.103 0.135 0.162 0. 2.062 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 99 503 0 0 0 0
normalized size 1 1. 0.79 4.02 0. 0. 0. 0.
time (sec) N/A 0.205 0.512 0.187 0. 0. 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 42 0 84 0 0
normalized size 1 1. 1. 1.35 0. 2.71 0. 0.
time (sec) N/A 0.048 0.061 0.169 0. 1.658 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 66 505 0 0 0 0
normalized size 1 1. 0.74 5.67 0. 0. 0. 0.
time (sec) N/A 0.143 0.367 0.191 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 64 656 0 0 0 0
normalized size 1 1. 0.2 2.01 0. 0. 0. 0.
time (sec) N/A 0.219 0.242 0.171 0. 0. 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 69 520 0 0 0 0
normalized size 1 1. 0.73 5.53 0. 0. 0. 0.
time (sec) N/A 0.153 0.407 0.17 0. 0. 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 92 563 0 0 0 0
normalized size 1 1. 0.55 3.39 0. 0. 0. 0.
time (sec) N/A 0.265 1.423 0.232 0. 0. 0. 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 57 64 0 207 0 0
normalized size 1 1. 0.54 0.6 0. 1.95 0. 0.
time (sec) N/A 0.162 0.193 0.165 0. 1.871 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 87 304 0 0 0 0
normalized size 1 1. 0.66 2.32 0. 0. 0. 0.
time (sec) N/A 0.204 0.652 0.195 0. 0. 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 54 0 132 0 0
normalized size 1 1. 0.65 0.78 0. 1.91 0. 0.
time (sec) N/A 0.102 0.207 0.161 0. 1.55 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 68 190 0 0 0 0
normalized size 1 1. 0.73 2.04 0. 0. 0. 0.
time (sec) N/A 0.141 0.579 0.206 0. 0. 0. 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 42 0 127 0 0
normalized size 1 1. 1. 1.27 0. 3.85 0. 0.
time (sec) N/A 0.049 0.112 0.149 0. 1.363 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 70 192 0 0 0 0
normalized size 1 1. 0.71 1.96 0. 0. 0. 0.
time (sec) N/A 0.15 0.528 0.176 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 329 329 280 544 0 0 0 0
normalized size 1 1. 0.85 1.65 0. 0. 0. 0.
time (sec) N/A 0.217 1.73 0.172 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 45 54 0 185 0 0
normalized size 1 1. 0.65 0.78 0. 2.68 0. 0.
time (sec) N/A 0.1 0.258 0.164 0. 2.328 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 104 992 0 0 0 0
normalized size 1 1. 0.81 7.75 0. 0. 0. 0.
time (sec) N/A 0.193 1.048 0.207 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 42 0 116 0 0
normalized size 1 1. 1. 1.27 0. 3.52 0. 0.
time (sec) N/A 0.048 0.112 0.153 0. 2.066 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 80 502 0 0 0 0
normalized size 1 1. 0.9 5.64 0. 0. 0. 0.
time (sec) N/A 0.139 0.466 0.185 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 55 322 0 0 0 0
normalized size 1 1. 0.2 1.19 0. 0. 0. 0.
time (sec) N/A 0.131 0.125 0.184 0. 0. 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 66 517 0 0 0 0
normalized size 1 1. 1.25 9.75 0. 0. 0. 0.
time (sec) N/A 0.088 0.218 0.172 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 66 668 0 0 0 0
normalized size 1 1. 0.2 2.07 0. 0. 0. 0.
time (sec) N/A 0.204 0.256 0.17 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 84 531 0 0 0 0
normalized size 1 1. 0.88 5.59 0. 0. 0. 0.
time (sec) N/A 0.141 0.354 0.213 0. 0. 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 57 54 0 203 0 0
normalized size 1 1. 0.52 0.49 0. 1.85 0. 0.
time (sec) N/A 0.154 0.281 0.158 0. 2.212 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 119 550 0 0 0 0
normalized size 1 1. 0.88 4.07 0. 0. 0. 0.
time (sec) N/A 0.2 1.422 0.193 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 45 42 0 131 0 0
normalized size 1 1. 1.36 1.27 0. 3.97 0. 0.
time (sec) N/A 0.053 0.133 0.142 0. 1.818 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 105 290 0 0 0 0
normalized size 1 1. 1.07 2.96 0. 0. 0. 0.
time (sec) N/A 0.148 0.798 0.173 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 199 975 0 0 0 0
normalized size 1 1. 0.61 2.98 0. 0. 0. 0.
time (sec) N/A 0.215 0.635 0.178 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 84 195 0 0 0 0
normalized size 1 1. 0.91 2.12 0. 0. 0. 0.
time (sec) N/A 0.143 0.641 0.19 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 223 526 0 0 0 0
normalized size 1 1. 0.69 1.63 0. 0. 0. 0.
time (sec) N/A 0.213 1.973 0.19 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 89 222 0 0 0 0
normalized size 1 1. 0.66 1.64 0. 0. 0. 0.
time (sec) N/A 0.207 0.555 0.181 0. 0. 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 246 556 0 0 0 0
normalized size 1 1. 0.66 1.5 0. 0. 0. 0.
time (sec) N/A 0.297 2.304 0.174 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 45 42 0 151 0 0
normalized size 1 1. 1.36 1.27 0. 4.58 0. 0.
time (sec) N/A 0.054 0.158 0.138 0. 2.309 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 101 993 0 0 0 0
normalized size 1 1. 0.75 7.36 0. 0. 0. 0.
time (sec) N/A 0.202 1.802 0.196 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 329 329 55 1259 0 0 0 0
normalized size 1 1. 0.17 3.83 0. 0. 0. 0.
time (sec) N/A 0.214 0.2 0.179 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 80 515 0 0 0 0
normalized size 1 1. 0.85 5.48 0. 0. 0. 0.
time (sec) N/A 0.147 0.661 0.169 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 70 668 0 0 0 0
normalized size 1 1. 0.22 2.07 0. 0. 0. 0.
time (sec) N/A 0.203 0.221 0.175 0. 0. 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 79 530 0 0 0 0
normalized size 1 1. 0.83 5.58 0. 0. 0. 0.
time (sec) N/A 0.142 0.363 0.192 0. 0. 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 81 696 0 0 0 0
normalized size 1 1. 0.22 1.88 0. 0. 0. 0.
time (sec) N/A 0.291 0.379 0.183 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 90 544 0 0 0 0
normalized size 1 1. 0.67 4.03 0. 0. 0. 0.
time (sec) N/A 0.206 0.658 0.165 0. 0. 0. 0.
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 406 406 95 722 0 0 0 0
normalized size 1 1. 0.23 1.78 0. 0. 0. 0.
time (sec) N/A 0.39 0.411 0.221 0. 0. 0. 0.
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 81 81 278 0 0 0 0 0
normalized size 1 1. 3.43 0. 0. 0. 0. 0.
time (sec) N/A 0.074 2.249 0.565 0. 0. 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 86 86 280 0 0 0 0 0
normalized size 1 1. 3.26 0. 0. 0. 0. 0.
time (sec) N/A 0.086 0.549 0.509 0. 0. 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 84 84 281 0 0 0 0 0
normalized size 1 1. 3.35 0. 0. 0. 0. 0.
time (sec) N/A 0.087 0.312 0.529 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 89 89 283 0 0 0 0 0
normalized size 1 1. 3.18 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.188 0.558 0. 0. 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 51 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.051 0.338 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 51 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.043 0.323 0. 0. 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 51 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.033 0.31 0. 0. 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 23 66 39 59 0 0
normalized size 1 1. 0.96 2.75 1.62 2.46 0. 0.
time (sec) N/A 0.034 0.025 0.07 1.149 1.699 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 45 0 78 115 0 0
normalized size 1 1. 0.87 0. 1.5 2.21 0. 0.
time (sec) N/A 0.052 0.126 1.153 1.155 1.747 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 81 0 116 178 0 0
normalized size 1 1. 1.04 0. 1.49 2.28 0. 0.
time (sec) N/A 0.064 0.554 1.199 1.143 1.763 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 77 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.08 0.577 0.352 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 77 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.079 0.509 0.351 0. 0. 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 75 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.078 0.443 0.323 0. 0. 0. 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 65 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.1 0.471 0. 0. 0. 0.
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 165 0 0 0 0 0
normalized size 1 1. 2.29 0. 0. 0. 0. 0.
time (sec) N/A 0.08 0.457 0.946 0. 0. 0. 0.
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 246 0 0 0 0 0
normalized size 1 1. 3.42 0. 0. 0. 0. 0.
time (sec) N/A 0.076 0.62 1.065 0. 0. 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 92 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.115 1.827 0.159 0. 0. 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 90 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.097 1.61 0.152 0. 0. 0. 0.
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 81 81 326 0 0 0 0 0
normalized size 1 1. 4.02 0. 0. 0. 0. 0.
time (sec) N/A 0.096 3.101 0.144 0. 0. 0. 0.
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 115 0 0 0 0 0
normalized size 1 1. 1.42 0. 0. 0. 0. 0.
time (sec) N/A 0.107 1.006 0.136 0. 0. 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [270] had the largest ratio of [ 0.44 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 1 1 1. 6 0.167
2 A 2 2 1. 8 0.25
3 A 2 2 1. 8 0.25
4 A 2 1 1. 8 0.125
5 A 3 2 1. 8 0.25
6 A 2 1 1. 8 0.125
7 A 4 2 1. 8 0.25
8 A 2 1 1. 8 0.125
9 A 4 3 1. 10 0.3
10 A 3 3 1. 10 0.3
11 A 3 3 1. 10 0.3
12 A 2 2 1. 10 0.2
13 A 2 2 1. 10 0.2
14 A 3 3 1. 10 0.3
15 A 3 3 1. 10 0.3
16 A 4 3 1. 10 0.3
17 A 4 3 1. 12 0.25
18 A 3 3 1. 12 0.25
19 A 3 3 1. 12 0.25
20 A 2 2 1. 12 0.167
21 A 2 2 1. 12 0.167
22 A 3 3 1. 12 0.25
23 A 3 3 1. 12 0.25
24 A 4 3 1. 12 0.25
25 A 2 2 1. 10 0.2
26 A 2 2 1. 10 0.2
27 A 2 2 1. 10 0.2
28 A 2 2 1. 10 0.2
29 A 2 2 1. 10 0.2
30 A 2 2 1. 10 0.2
31 A 2 2 1. 12 0.167
32 A 2 2 1. 12 0.167
33 A 2 2 1. 12 0.167
34 A 2 2 1. 12 0.167
35 A 2 2 1. 12 0.167
36 A 2 2 1. 12 0.167
37 A 2 2 1. 8 0.25
38 A 2 2 1. 10 0.2
39 A 5 3 1. 8 0.375
40 A 4 3 1. 8 0.375
41 A 3 3 1. 8 0.375
42 A 2 2 1. 8 0.25
43 A 2 2 1. 8 0.25
44 A 3 3 1. 8 0.375
45 A 4 3 1. 8 0.375
46 A 5 3 1. 8 0.375
47 A 6 4 1. 10 0.4
48 A 5 4 1. 10 0.4
49 A 4 4 1. 10 0.4
50 A 3 3 1. 10 0.3
51 A 2 2 1. 10 0.2
52 A 3 3 1. 10 0.3
53 A 4 3 1. 10 0.3
54 A 5 3 1. 10 0.3
55 A 7 4 1. 10 0.4
56 A 5 4 1. 10 0.4
57 A 4 4 1. 10 0.4
58 A 4 4 1. 10 0.4
59 A 5 4 1. 10 0.4
60 A 7 4 1. 10 0.4
61 A 3 2 1. 10 0.2
62 A 3 2 1. 10 0.2
63 A 3 2 1. 10 0.2
64 A 3 3 1. 10 0.3
65 A 3 3 1. 10 0.3
66 A 5 3 1. 10 0.3
67 A 7 3 1. 10 0.3
68 A 3 3 1. 12 0.25
69 A 3 3 1. 14 0.214
70 A 5 4 1. 21 0.19
71 A 5 4 1. 21 0.19
72 A 4 4 1. 21 0.19
73 A 4 4 1. 19 0.21
74 A 2 2 1. 12 0.167
75 A 3 3 1. 19 0.158
76 A 4 4 1. 21 0.19
77 A 4 4 1. 21 0.19
78 A 5 4 1. 21 0.19
79 A 5 4 1. 21 0.19
80 A 5 4 1. 21 0.19
81 A 5 4 1. 21 0.19
82 A 4 4 1. 19 0.21
83 A 3 3 1. 12 0.25
84 A 3 3 1. 19 0.158
85 A 3 3 1. 21 0.143
86 A 4 4 1. 21 0.19
87 A 4 4 1. 21 0.19
88 A 5 4 1. 21 0.19
89 A 5 4 1. 21 0.19
90 A 5 4 1. 21 0.19
91 A 5 4 1. 19 0.21
92 A 3 3 1. 12 0.25
93 A 4 4 1. 19 0.21
94 A 3 3 1. 21 0.143
95 A 3 3 1. 21 0.143
96 A 4 4 1. 21 0.19
97 A 4 4 1. 21 0.19
98 A 5 4 1. 21 0.19
99 A 5 4 1. 21 0.19
100 A 4 3 1. 12 0.25
101 A 5 4 1. 21 0.19
102 A 5 4 1. 21 0.19
103 A 4 4 1. 21 0.19
104 A 4 4 1. 21 0.19
105 A 3 3 1. 19 0.158
106 A 2 2 1. 12 0.167
107 A 4 4 1. 19 0.21
108 A 4 4 1. 21 0.19
109 A 5 4 1. 21 0.19
110 A 5 4 1. 21 0.19
111 A 5 4 1. 21 0.19
112 A 5 4 1. 21 0.19
113 A 4 4 1. 21 0.19
114 A 4 4 1. 21 0.19
115 A 3 3 1. 21 0.143
116 A 3 3 1. 19 0.158
117 A 3 3 1. 12 0.25
118 A 4 4 1. 19 0.21
119 A 5 4 1. 21 0.19
120 A 5 4 1. 21 0.19
121 A 5 4 1. 21 0.19
122 A 5 4 1. 21 0.19
123 A 4 4 1. 21 0.19
124 A 4 4 1. 21 0.19
125 A 3 3 1. 21 0.143
126 A 3 3 1. 21 0.143
127 A 4 4 1. 19 0.21
128 A 3 3 1. 12 0.25
129 A 5 4 1. 19 0.21
130 A 5 4 1. 21 0.19
131 A 4 3 1. 12 0.25
132 A 4 3 1. 23 0.13
133 A 3 2 1. 23 0.087
134 A 3 3 1. 23 0.13
135 A 3 3 1. 23 0.13
136 A 2 2 1. 23 0.087
137 A 2 2 1. 23 0.087
138 A 2 2 1. 23 0.087
139 A 3 3 1. 23 0.13
140 A 3 2 1. 23 0.087
141 A 4 3 1. 23 0.13
142 A 4 3 1. 23 0.13
143 A 3 2 1. 23 0.087
144 A 3 3 1. 23 0.13
145 A 3 3 1. 23 0.13
146 A 2 2 1. 23 0.087
147 A 2 2 1. 23 0.087
148 A 2 2 1. 23 0.087
149 A 3 3 1. 23 0.13
150 A 3 2 1. 23 0.087
151 A 4 3 1. 23 0.13
152 A 3 2 1. 23 0.087
153 A 3 2 1. 23 0.087
154 A 3 3 1. 23 0.13
155 A 3 3 1. 23 0.13
156 A 2 2 1. 23 0.087
157 A 2 2 1. 23 0.087
158 A 2 2 1. 23 0.087
159 A 3 3 1. 23 0.13
160 A 3 2 1. 23 0.087
161 A 3 3 1. 23 0.13
162 A 3 3 1. 23 0.13
163 A 2 2 1. 23 0.087
164 A 2 2 1. 23 0.087
165 A 2 2 1. 23 0.087
166 A 3 3 1. 23 0.13
167 A 3 2 1. 23 0.087
168 A 3 3 1. 23 0.13
169 A 3 3 1. 23 0.13
170 A 2 2 1. 23 0.087
171 A 2 2 1. 23 0.087
172 A 2 2 1. 23 0.087
173 A 3 3 1. 23 0.13
174 A 3 2 1. 23 0.087
175 A 4 3 1. 23 0.13
176 A 3 3 1. 23 0.13
177 A 3 3 1. 23 0.13
178 A 2 2 1. 23 0.087
179 A 2 2 1. 23 0.087
180 A 2 2 1. 23 0.087
181 A 3 3 1. 23 0.13
182 A 3 2 1. 23 0.087
183 A 4 3 1. 23 0.13
184 A 3 3 1. 21 0.143
185 A 3 3 1. 19 0.158
186 A 2 2 1. 12 0.167
187 A 3 3 1. 19 0.158
188 A 3 3 1. 21 0.143
189 A 3 3 1. 21 0.143
190 A 3 3 1. 19 0.158
191 A 2 2 1. 12 0.167
192 A 3 3 1. 19 0.158
193 A 3 3 1. 21 0.143
194 A 3 3 1. 21 0.143
195 A 3 3 1. 19 0.158
196 A 2 2 1. 12 0.167
197 A 3 3 1. 19 0.158
198 A 3 3 1. 21 0.143
199 A 3 3 1. 21 0.143
200 A 3 3 1. 19 0.158
201 A 2 2 1. 12 0.167
202 A 3 3 1. 19 0.158
203 A 3 3 1. 21 0.143
204 A 3 3 1. 21 0.143
205 A 3 3 1. 21 0.143
206 A 3 3 1. 21 0.143
207 A 3 3 1. 21 0.143
208 A 3 3 1. 21 0.143
209 A 3 3 1. 21 0.143
210 A 3 3 1. 19 0.158
211 A 3 3 1. 19 0.158
212 A 3 3 1. 17 0.176
213 A 2 2 1. 10 0.2
214 A 3 3 1. 17 0.176
215 A 3 3 1. 19 0.158
216 A 3 3 1. 19 0.158
217 A 3 3 1. 21 0.143
218 A 3 3 1. 21 0.143
219 A 3 3 1. 21 0.143
220 A 3 3 1. 21 0.143
221 A 3 3 1. 21 0.143
222 A 3 3 1. 21 0.143
223 A 2 2 1. 19 0.105
224 A 2 2 1. 19 0.105
225 A 2 2 1. 19 0.105
226 A 2 2 1. 19 0.105
227 A 2 2 1. 19 0.105
228 A 3 2 1. 21 0.095
229 A 3 2 1. 21 0.095
230 A 5 4 1. 25 0.16
231 A 2 2 1. 25 0.08
232 A 4 4 1. 25 0.16
233 A 1 1 1. 25 0.04
234 A 3 3 1. 25 0.12
235 A 12 9 1. 25 0.36
236 A 4 4 1. 25 0.16
237 A 13 10 1. 25 0.4
238 A 3 2 1. 25 0.08
239 A 6 5 1. 25 0.2
240 A 2 2 1. 25 0.08
241 A 5 5 1. 25 0.2
242 A 1 1 1. 25 0.04
243 A 4 4 1. 25 0.16
244 A 13 10 1. 25 0.4
245 A 4 4 1. 25 0.16
246 A 6 5 1. 25 0.2
247 A 3 3 1. 25 0.12
248 A 5 5 1. 25 0.2
249 A 2 2 1. 25 0.08
250 A 4 4 1. 25 0.16
251 A 1 1 1. 25 0.04
252 A 4 4 1. 25 0.16
253 A 13 10 1. 25 0.4
254 A 2 2 1. 25 0.08
255 A 5 4 1. 25 0.16
256 A 1 1 1. 25 0.04
257 A 4 4 1. 25 0.16
258 A 12 9 1. 25 0.36
259 A 3 3 1. 25 0.12
260 A 13 10 1. 25 0.4
261 A 4 4 1. 25 0.16
262 A 3 3 1. 25 0.12
263 A 5 5 1. 25 0.2
264 A 1 1 1. 25 0.04
265 A 4 4 1. 25 0.16
266 A 13 10 1. 25 0.4
267 A 4 4 1. 25 0.16
268 A 13 10 1. 25 0.4
269 A 5 5 1. 25 0.2
270 A 14 11 1. 25 0.44
271 A 1 1 1. 25 0.04
272 A 5 5 1. 25 0.2
273 A 13 10 1. 25 0.4
274 A 4 4 1. 25 0.16
275 A 13 10 1. 25 0.4
276 A 4 4 1. 25 0.16
277 A 14 11 1. 25 0.44
278 A 5 5 1. 25 0.2
279 A 15 11 1. 25 0.44
280 A 2 2 1. 17 0.118
281 A 2 2 1. 19 0.105
282 A 2 2 1. 19 0.105
283 A 2 2 1. 21 0.095
284 A 2 2 1. 19 0.105
285 A 2 2 1. 19 0.105
286 A 2 2 1. 17 0.118
287 A 2 2 1. 17 0.118
288 A 3 2 1. 19 0.105
289 A 3 2 1. 19 0.105
290 A 2 2 1. 19 0.105
291 A 2 2 1. 19 0.105
292 A 2 2 1. 19 0.105
293 A 2 2 1. 10 0.2
294 A 2 2 1. 19 0.105
295 A 2 2 1. 19 0.105
296 A 2 2 1. 23 0.087
297 A 2 2 1. 23 0.087
298 A 2 2 1. 23 0.087
299 A 2 2 1. 23 0.087

[next] [prev] [prev-tail] [front] [up]